Logic-based specification languages for intelligent software agents
نویسندگان
چکیده
منابع مشابه
Logic-Based Specification Languages for Intelligent Software Agents
The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable...
متن کاملHybrid Parallel Execution Model for Logic-Based Specification Languages
That's it, a book to wait for in this month. Even you have wanted for long time for releasing this book hybrid parallel execution model for logic based specification languages; you may not be able to get in some stress. Should you go around and seek fro the book until you really get it? Are you sure? Are you that free? This condition will force you to always end up to get a book. But now, we ar...
متن کاملSpecification Languages for Distributed Real-Time Software
This paper summarises, in tabular form, the results of a wide-ranging survey of specification languages suited to formally describing distributed real-time systems. The languages are characterised in terms of their overall modelling technique, specific features for modelling concurrency and real-time concepts, and their suitability for formal timing analysis. Based on this survey some direction...
متن کاملA Logic-based Framework for Mobile Intelligent Information Agents
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, manipulate, and integrate heterogeneous data and information on demand. Mobile agents are an effective choice for many applications to improve latency and bandwidth of client-server applications and to reduce vulnerabi...
متن کاملCooperative Intelligent Software Agents
The availability of network-based information sources and services, along with the wide use of of World Wide Web, presents a great opportunity for enhanced problem solving support that incorporates information gathering into the problem solving framework. The concept of an intelligent information agent has been explored for information accessing and ltering tasks (e.g., ltering of newsgroup inf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2004
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068404002029